#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# FILE: Makefile
# AUTHOR: Michael Baldamus
# DESCRIPTION: Makefile for documentation of the Java interface for ltl2ba.
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

main:
	javadoc -linksource -splitindex -breakiterator -use -private -author -sourcepath $(DEVEL)/jltl2ba/src jltl2ba

clean : 
	rm -f *~

realclean : clean
	rm -rf constant-values.html
	rm -rf allclasses-frame.html
	rm -rf allclasses-noframe.html
	rm -rf help-doc.html
	rm -rf index.html
	rm -rf overview-tree.html
	rm -rf packages.html
	rm -rf stylesheet.css
	rm -rf deprecated-list.html
	rm -rf index-all.html
	rm -rf package-list
	rm -rf serialized-form.html
	rm -rf jltl2ba
	rm -rf src-html
	rm -rf index-files
	rm -rf resources
